1

A Non-Numerical Approach to Production Scheduling Problems

Année:
1955
Langue:
english
Fichier:
PDF, 594 KB
english, 1955
3

Some Results in Church's Restricted Recursive Arithmetic

Année:
1957
Langue:
english
Fichier:
PDF, 199 KB
english, 1957
4

E1138

Année:
1955
Langue:
english
Fichier:
PDF, 275 KB
english, 1955
7

A computer system for transformational grammar

Année:
1969
Langue:
english
Fichier:
PDF, 1006 KB
english, 1969
8

Formalization and Automatic Theorem-Proving.by Hao Wang; Wayne A. Kalenich

Année:
1974
Langue:
english
Fichier:
PDF, 210 KB
english, 1974
13

A parsing method for montague grammars

Année:
1978
Langue:
english
Fichier:
PDF, 1.23 MB
english, 1978
14

An unlabeled bracketing solution to the problem of conjoined phrases in Montague's PTQ

Année:
1979
Langue:
english
Fichier:
PDF, 957 KB
english, 1979
15

λ-Normal forms in an intensional logic for English

Année:
1980
Langue:
english
Fichier:
PDF, 916 KB
english, 1980
16

Erratum

Année:
1979
Langue:
english
Fichier:
PDF, 58 KB
english, 1979
23

Attempts to modify the sleep patterns of the rat

Année:
1971
Langue:
english
Fichier:
PDF, 214 KB
english, 1971
30

A Decision Procedure Based on the Resolution Method.by Bruce Kallick

Année:
1973
Langue:
english
Fichier:
PDF, 86 KB
english, 1973
32

Application of Recursive Arithmetic to the Problem of Circuit Synthesisby Alonzo Church

Année:
1963
Langue:
english
Fichier:
PDF, 320 KB
english, 1963
33

Erratum: A Parsing Method for Montague Grammars

Année:
1979
Langue:
english
Fichier:
PDF, 152 KB
english, 1979
34

A Parsing Method for Montague Grammars

Année:
1978
Langue:
english
Fichier:
PDF, 2.06 MB
english, 1978
39

Directed random generation of sentences

Année:
1969
Langue:
english
Fichier:
PDF, 3.57 MB
english, 1969
40

A Computer Program for a Solvable Case of the Decision Problem

Année:
1963
Langue:
english
Fichier:
PDF, 403 KB
english, 1963
41

Fortran implementation of the Kay context-free parser

Année:
1970
Langue:
english
Fichier:
PDF, 897 KB
english, 1970
42

A Semi-Decision Procedure for the Functional Calculus

Année:
1963
Langue:
english
Fichier:
PDF, 1.34 MB
english, 1963
43

A Decision Procedure for Computations of Finite Automata

Année:
1962
Langue:
english
Fichier:
PDF, 424 KB
english, 1962
44

Words in the History of a Turing Machine with a Fixed Inputby Michael O. Rabin; Hao Wang

Année:
1969
Langue:
english
Fichier:
PDF, 238 KB
english, 1969
47

A Self-Insured Free Policy for Geriatric Mental Health

Année:
1972
Langue:
english
Fichier:
PDF, 474 KB
english, 1972
48

λ-Normal Forms in an Intensional Logic for English

Année:
1980
Langue:
english
Fichier:
PDF, 1.67 MB
english, 1980
49

An Unlabeled Bracketing Solution to the Problem of Conjoined Phrases in Montague's PTQ

Année:
1979
Langue:
english
Fichier:
PDF, 1.59 MB
english, 1979